Formal Methods and Testing: Hypotheses, and Correctness Approximations

mcg at lri.fr Abstract. It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various kinds of formal specifications, their submission, and verdict. All these methods rely upon some hypotheses on the system under test that formalise the gap between the success of a test campaign and the correctness of the system under test.

A generic approach to run mutation analysis

Estimating the quality of test suites is an important and difficult task. Mutation analysis is one approach to measure test quality by injecting faults in a correct version of the system under test and measuring the percentage of faulty systems that are detected by the tests. There are several automatic mutation analysis tools. Each of them, however, is restricted to a comparatively small range of execution environments. In this paper, we introduce a generic approach to run mutation analysis and present a corresponding prototype implementation